Karp On The Definition Of P And Np.